decision procedure for sentences

См. также в других словарях:

• PRACTICE AND PROCEDURE — CIVIL Court Sessions The courts of three (judges) exercising jurisdiction in civil matters (see bet din ) held their sessions during the day, but – following Jethro s advice to Moses that judges should be available at all times (Ex. 18:22) – they …   Encyclopedia of Judaism

• Criminal Procedure Code, 1973 (India) — Criminal Procedure Code, 1973 Criminal law in India An Act to consolidate and amend the law relating to Criminal Procedure. Citation Act No. 2 of 1974 Enacted by …   Wikipedia

• International Military Tribunal for the Far East — Tokyo Trial redirects here. For the film, see Tokyo Trial (film). International Military Tribunal for the Far East was convened at Ichigaya Court, formally Imperial Japanese Army HQ building in Ichigaya, Tokyo. The International Military Tribunal …   Wikipedia

• National Coalition for Gay and Lesbian Equality v Minister of Justice — National Coalition for Gay and Lesbian Equality and Another v Minister of Justice and Others Court Constitutional Court of South Africa Full case name The National Coalition for Gay and …   Wikipedia

• Special Court for Sierra Leone — The Special Court for Sierra Leone is an independent judicial body set up to try those who bear greatest responsibility for the war crimes and crimes against humanity committed in Sierra Leone after 30 November 1996 during the Sierra Leone Civil… …   Wikipedia

• International Criminal Tribunal for the former Yugoslavia — The International Tribunal for the Prosecution of Persons Responsible for Serious Violations of International Humanitarian Law Committed in the Territory of the Former Yugoslavia since 1991, more commonly referred to as the International Criminal …   Wikipedia

• formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

• metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… …   Universalium

• Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] …   Wikipedia

• Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on …   Wikipedia

• Tarski's axioms — Tarski s axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry, called elementary, that is formulable in first order logic with identity, and requiring no set theory. Other modern axiomizations of… …   Wikipedia